Ranking

Eu acho que estes botões tem dimensões de encaixe padrão (22 x 30mm). Você poderia retirar algum deles e verificar se a abertura na carcaça tem estas dimensões. Se forem neste padrão, tem várias opções de Rocker switch (Rancilio, Gaggia, Lá pavoni, etc) que poderiam encaixar na tua máquina (se você não se importar com a questão do visual não original). Tem apenas que entender o diagrama elétrico da máquina pra fazer a conexão de forma correta (alguns botões devem ser do tipo bipolar). Ou levar pra alguém que entenda pra fazer a conexão. No The Espresso shop tem algumas opções e eles enviam via correio (frete mais em conta), deve sair na faixa de R$ 150 os 3 botões: https://www.theespressoshop.co.uk/Mobile/MobileSearchResults.aspx?MinPrice=2&MaxPrice=79&Page=3&Search=Switch&SortBy=SalesRank&ListType=2&ProductImageView=1