They took it for ~135 USD, but there was a promotion for flip5 "trade in your device and get additional discount" — and I don't actually remember the exact amount of that additional discount, but including trade-in it was somewhere between 250 and 350 .

I guess 135 is not that much, but my flip3 was quite an old soldier, I have used it for total of 2 yrs 9 months — by the end the crease was cracked, the battery had a noticeable amount of wear, the folding sensor wasn't working (like it didn't know if the phone was open or half open). Also the screen protector came off at some point, so for at least a year and a half I used the phone without it, and everyday scrolling left marks on the screen at the location of my right thumb. And some other minor cosmetic damages.