Ideal Standard flush button mounts

I recently managed to drop the lid from our toilet and break the two mounts that hold the flush buttons. I recreated the mounts in Tinkercad to replace these damaged items.