Just came across this deal for a NVIDIA RTX Quadro 8000 48GB card. Older 2018 model but still seems to still retail around 10k. Might be worth a look for anyone looking for a ML or Workstation card.