| Revan |
Pathfinder Adventure Path, Starfinder Adventure Path Subscriber
They can already get a full-progression animal companion through Divine Bond; it's just limited to ACs the Paladin would be capable of riding. I'd see no issue with opening them up to any companion, or at least those the ranger can select. Certainly, you're player's proposed trade in is weaker than what the core paladin gets.