Pinball Hall of Fame

I'm heading to Vegas over the holidays with my girlfriend. I grew up playing pinball with my dad and was very excited to find the Pinball Hall of fame. I just wondered if anyone knew if it ever gets really crowded or what would be the best time to go. I realize the it's probably just an empty room with a few dudes like me spending an occasional quarter, but better to be safe than sorry.