I purchased this recently for a personal project but I suspect I might be able to flip it. I’ve had a look around online but can’t find too much data on .is TLD sales, let alone LLLL.is sales. Jack.art sold for $10,800 recently but I doubt it’s anywhere near as much as that.