Just a little bit, $9 vs $12 (3.1 Pro, the current PRO).

It's super hard to know if those prices are reflective of the true cost.

Remember that leaderboard position is very important, and many leaderboards are perf/$. So, to push the share price up and be top of leaderboards, the company might falsely quote a loss-leading price, and maybe set quotas so people can't cause too big losses.