Just to throw another name in the ring and add to the confusion: Reichenbach described a variety of bullenianum with large eyespots as bullenianum var oculatum. He also described a spotless variety as var. anophtalmum. Hallier in his extensive article from 1897 considers his amabile close to, or identical with, bullenianum var. oculatum.
The article in Cutris botanical magazine on Paph robinsonii, which was based on plants sent by Ridley from the original site, mentioned flowers with large and without any spots.
For me, a plant that deserves the name robinsonii would be one with a proven origin from Gunung Tahan, Malaysia, no matter what it looks like. A torti would be from Sumatra, a celebsense from Sulawesi, a johorense from Gunung Panti. No point to give linii any status as a regional variant, since it occurs in bullenianums heartland, Sarawak.
Since Ramons plant has no proof of origin plus its typical bullenianum staminode, I'd call it just that.