Since ADI chose not to sell (!) me the ADR1001 for whatever reason, I decided to entertain myself with REF80, which I managed to get my hands on.
I only was able to build a barebone prototype board, but should be enough for basic measurements (assuming you have a low noise power supply).
Here are my results so far, after spending couple hours testing it.


- it's currently missing the thermal insulation (it's on its way)
- output filter cap is C0G + 2 x X7R for now, will need to replace X7R with film cap
I decided to run the reference at max. temperature setpoint (115C) for a month to speed up aging, then I'll change the setpoint to 85C.
My first REF80 at 115C settled at 7.568V.
External case temperature is just a little shy of 90C.
As you can see from thermal images below, board cutouts are quite effective and help with thermal isolation of REF80.
I went against datasheet recommendations and put a symmetrical round copper pour under the REF80 itself to spread the heat evenly (it anyway will be thermally insulated).
Top


Bottom


I'm running both heater and bias at 15V, the total current with well insulated REF80 is 32mA @ 15V (0.5W) (this is again 115C heater setpoint with ~25C ambient).
Measuring it with a few 3458a's and DMM7510 there is clearly an expected downward aging trend seen even over couple hours.

I have quite a few ideas in mind of what to do with it, so I will post updates here. I'll try to measure output impedance and post results soon.
Unfortunately, I don't have a good noise measurement setup, so I could not make any meaningful noise measurements yet.
If anyone has suggestions for specific tests to try with it, please let me know, and I'll see if I can give them a shot.
Here are the design files
https://github.com/dlebed/ref80-basicP.S.You can order the board on oshpark if you want
https://oshpark.com/shared_projects/kTTHxNFD