Last question about coin doors from me, I promise. I was just looking for some numbers on the coin doors you all use. I have an old Stern cabinet, and I have a hunch that the hole they used for their coin door is not the same for the coin doors floating around today. The dimensions of the coin door hole left in my cab are 12.5" by 12.5". Are these the door dimensions from Happs coin doors being sold today?