It seems to be a reasonably common problem that can happen early in the life of the display, so I'll probably only bother getting it fixed the day before I sell it!