Does this category include real Stern home pinball or AtGames Legends Pinball machines?

Not in this specific candidate pool. The pinball entry in our data is a small electronic tabletop toy aimed at kids rather than a Stern or AtGames Legends-class machine. Shoppers looking for a real solenoid-driven home pinball should price-shop those brands separately; the synthesis here covers video arcade cabinets and a tabletop pinball toy.