15 W is the Mini 1's rated "idle" power draw [0], so it's hard to tell if they're just being very generous with the "up to" figure (assuming the dish isn't being used at all) or if efficiency is improved. You'd think they'd mention if it was.
[0] - https://starlink.com/support/article/18836c7e-2d97-6153-fe67...