Yes, the cheapest 256GB 15PM can be 3.8k-4k if you are really lucky, otherwise I think 4.2-4.5k? I didn't really follow the price but I know all the online platforms are having sales from time to time.
You are unlucky because this is the only series that retailers are throwing price like there is no tomorrow.