Text this: Random fixed point theorems for ultimately compact operators