So, I tried to see if HP had the adapter available and just was not advertising it. I started an online chat and was able to order the part. The part number is 512315-001, for the Mini VGA adapter. The good news is I was able to order it, should be here by March 18th. The bad news is the part is $75. With shipping and tax, it was $90. That is pretty steep, but I need the part for presentations.
Had I known that the HP would cost this much after adding the VGA and 6-cell battery, I would have went with the Samsung NC10.