What is interesting to me is that you can’t really “revoke” an IP. ARIN’s authority really only comes from ISPs that listen to their recommendations in creating prefix filters.
ARIN doesn’t give you any rights to an IP, because there is no such thing.