It’s a 4040 I think, I’ll have to look, whatever the 12 VAC model is, I got it at a different time, also from eBay though.