Based on the numbers he's put up so far? Massive overpay.
Based on what else we could buy for the same money? Its probably fair. Football finances are broken :p
As ever, if he's what the system needs, and he adapts to the PL, he could yet be a great deal, but its a gamble. Here's hoping by 2024/25 he's a 20-goal-a-season-striker, and I'm eating my words in the first paragraph!
I don't at the moment, because I don't have a need for it, but I did for a while run a PoC with Step CA, and that seems like the easiest way to get up and running, even if its features are overkill for a home lab.