Yes, we’ve seen them. There’s a park loaded with them.
I guess 7-11 got its name in some very distant past when being open from 7 a.m. to 11 p.m. was some sort of major advance in social flexibility. Lucky they didn’t think of staying open from 9 a.m. to 11 p.m.