Eftersom det inte framgör i manualen vilka "domes" som ska sitta på RFM, så undrar jag om nån vet vilken av dessa det är man ska köpa?

http://www.parts4pinballs.com/product_info.php?cPath=159_19_80&products_id=744
eller
http://www.parts4pinballs.com/product_info.php?cPath=159_19_80&products_id=1897

Jag misstänker att det är den första, eftersom den andra heter "mini". Men jag vill vara säker.