They said they use it, just not much.

And given that it was a non-pricy one-time purchase, and not a subscription, why would they regret it? The cost per hour of usage is only going to keep decreasing over time for them, as long as they keep using it in some capacity occasionally.