Pico Display options with RTC

Hi, Im looking for a screen (with buttons) which will work with an external RTCDS1302. My issue at the moment is that the screens I have are all SPI and this interferes with the RTC as this is using GP17,16 & 18. The Waveshare pico-LCD-1.3 is a great screen but the joystick uses the same pins as the RTC. The plan is to build a simple alarm clock with the pico. Any help greatfully received!

You can have more than one device on an SPI BUS, as long as they each use a different Cs pin. You use Cs0 for one device and Cs1 for the other.
Raspberry Pi Pico GPIO Pinout