OK, thank you gents, understood - sounds like JAE is the sole distributor.
There are lots of different Gates blue-spec timing belts out there...for different vehicles, typically in the $60-80 range. but I guess the 133 tooth belt of the right dimension is only sold via JAE at around $165 bucks. So it is.
Thanks again.