How much did the red Si go for a few months back? I believe it was less than this. For me I'd choose the Si.
I share your sense of surprise regarding the price! Especially once I learned that the low mileage was merely post-restoration mileage. There are (in my humble opinion) ethical problems with rolled-back odometers. Yes I understand a restoration was involved but to me, the mileage reset feels untrue to the history of the vehicle.