@streakmachine I have no idea who makes the busses for Washington DC. They were very cute, about 11 and maybe 12, I'd judge.
Searching