Well...
I'm glad I got to the bus pick-up spot early. From what I could tell, the "12:30" bus left at 12:10. It was full, sold out, etc. And it looks like this driver is going to go ahead and have this "1:00" bus leave at 12:30. This bus isn't full yet, but the driver is making sure that everyone puts their bags on top instead of on their seats. I'm guessing the trip from DC to NYC will be packed. We shall see...
My friend, Mike, had warned me that this particular bus line can get a bit unpredictable at times, and I guess it is. And another friend had said that there were quite a number of Chinese, Korean, Thai, etc., workers who make regular treks between Richmond and NYC. They work here in Richmond during the week, and then head back to NYC on the weekends to see their families. And vice versa.