Sense Hat and RTC

[SimplePiMan]

Has anyone got a Sense HAT and a RTC? I'd be grateful for information on which RTC and how it's fitted with the Sense (e.g. stacked header, custom wiring, etc).
I'm intending to fit everything into a 3D printed AstroPi case, so an additional info or tips would be a bonus.

[alphanumeric]

I have DS3231's installed on two Pi setups with Sense Hats. I mounted the RTC to a Proto Hat that has a stacking header. The Proto Hat then plugs in between my Pi and Sense hat. My Build pictures are here,
https://1drv.ms/f/s!AjOYwiwlwDtpgq8_0VrdS3_H5xL_AA
I used this RTC, https://www.adafruit.com/product/3013
And followed thier tutorial to set it up, https://learn.adafruit.com/adding-a-rea ... pberry-pi