Not to pile on, but I think you did imagine those prices. I paid $199 for my first Red years ago. Sold it and moved on to other portable amp/DACs. Then bought another one just a few months ago. It was the same price. I’ve never seen it sell for higher than $199 in the US.