Then I clicked the link.
But that can't be. Don't they appear in all kinds of things now, from washing machines to fire alarms? So I checked Alibaba, which has 8088s from $0.3 - $2. [1]
I'm confused why the military version is three orders of magnitude more expensive.
[1] https://www.alibaba.com/trade/search?fsb=y&IndexArea=product...
I doubt there's actual 8088s being used in consumer products; it's mostly military (and someone else mentioned avionics in another comment here) applications that require exact qualified parts, and can't be replaced with something else. Alibaba's are probably recycled or NOS.