For an average pastel male, it's a tad steep.
If it's an above average male, nice and bright with lots of yellows and lots of blushing, and he's the right size for his age, I'd get him.
I paid $100 for my slightly below average male at 1100 grams. But these prices are hugely affected by locality and availability in your area. Sure you can pick up a hatchling pastel for $100 all day long, but as babies they are really hard to tell which will be knockouts and which won't.
The boy you are looking at, what you see is what you get.
Gale