You’ve made some money on the RO (through appreciation after you bought it), and the 5711 should hold its value given very limited supply barring a major financial crisis (in which case the value of the RO would fall too). Personally, I like the RO better, but given your strong preference for the 5711 why not go for it.