Kinda, yeah. I'm pretty sure this is why thinkpads are so expensive. They mainly sell to enterprises who always demand massive discounts so I guess they inflate the RRP a bit to end up with a profit.

Especially considering margin on laptops is normally only around 10% AFAIK and we really get much more discount than that.