Got sheds that look just like that. They are 140. If that deer is going 140 at 3.5, he'll only get bigger and bigger.
I would never pass up a 140 inch 10 pointer, though. That would probably be the buck of my lifetime. My biggest so far is a 120 inch 8-pointer and I've been hunting for 30- years.