Making a small order and was gonna throw one or two of these in, but they're gone. Bummer.
Here's a thread from 3 years ago, decided just to make a new one: https://pinside.com/pinball/forum/topic/hrmpremium-pinballs-disappeared-from-pinball-lifes-site
I thought they were here recently, before the "vacation". Maybe just out of stock or a bad batch?