Most of those who are looking for 4.5.0 3DS's know how to find them too...
I even got an XL for $160 USD. I had to settle for pink though. Used the money I saved for a new shell in a color of my choosing, some supplies to customize it, and had still saved money compared to buying a new one (average of $300 USD).