Prices have slowly been coming down for 6 to 8 months now. Lots of HUO games available too since so many HUO owners are just making room for some of the new games.
However, these prices normally start climbing by 100-200 bucks or more for bigger name titles now that "pinball season" is starting again here in the east coast areas where we retreat to our basements when the weather gets cold, and when so many leagues start back up again.