Hey all, a buddy of mine’s dad has a cool pinball machine Christmas ornament. It was sweet it lit up plugged into a Christmas light and had sound. I’d like to find one but am coming up empty on Amazon, EBay, etc. Has anyone found these on some other site? Or anything else cool pinball related for the Christmas tree?