I had a chance to get a nice red label a few years ago for 3k but we weren’t ready with our new house. I just passed on an older Professional blue label for 6k but my wife didn’t like the reddish color. I kinda want a Diamond but a nice matte black GC4 with matching light is falling into my lap...