Unfortunately I could not find data on prices after discounts -- I would love if you could point me to some! I find it hard to believe the average discount in 2019/20 was $8k off on a base trim GT, but if you actually bought one with that discount then fair enough. Note that's still a significantly smaller increase than my parent comment indicated.