One of my guys gave them a call, no luck on budging on the price.
Came across a s10 peripheral board but with a different #, this one is 4200802B
The one in my machine that we believe is bad is 4200547E
The other one that we found that costs about 10 times as much as the 4200802b is a 4200547G.
Heres a pic of the 4200802B:
And a picture of the 4200547G:
And my current 4200547E:
