There’s a reason the Roland kits have a good resale value, their quality is pretty much second to none.
Honestly I would go for a used Roland kit. The one you’ve linked is good to start if never played before, if she’s playing at school then she is not going to like the kick pedal, as it’s not a proper kick pedal. Mine is a TD-11KV which is out of your price range, but still sells for what I paid for it around 4/5 years ago when I bought it used.
There are versions between the linked and what you have, mesh snare is ideal but the electronic kits still don’t have the same feel as actual drums.
It will end up costing you more if she keeps at it, so busy used and you’re likely to get most of your money back when it comes to upgrade time.