Three things to add:

1) If you think my price is way off what's expected, please let me know. I have no good comparison what slightly used 1080tis are going for. I see that new RTX2080 with about the same performance go for around 800EUR so a figure taking a quarter off that for a mint condition card with more VRAM seems a fair deal.

2) This card was one of the best 1080tis when it came out, as it's very quiet and cool and yet powerful. Asus made as lot of effort in their fan design and layout, so the original price for this thing was 950EUR, at the upper end of the 1080ti market when I bought it. It rates very highly in the reviews versus other 1080tis.

3) The card still has over a year warranty on it and a purchase receipt can be provided.