Ole Lindstol gick personligen till kungen.