I'm curious as to what your monitor's white point is being profiled to in order to match 3500K lamps? What is the xy coordinates and CCT? I would think the monitor would appear quite yellowish.
For Red River Ultra Pro Satin (my proofing paper), the white point xy is .4290, .3937 and CCT is 3053k.
For Epson Legacy Baryta (my exhibition paper), the white point xy is .4287, .3948 and CCT is 3068k.
I notice the color shift if I change profiles (especially to one with a D50 or D65 illuminant), but as you know chromatic adaptation is a powerful thing.
In my studio with lights in the 3500k range (I could read it with my i1Pro2 but from what I've heard, I'd have to spend several more thousand $$$ to get a spectrophotometer that can make a truly accurate reading), the monitor white point looks "normal". If I changed my studio lights to 4700k (Solux's closest equivalent to d50) my monitor would look pretty yellow.
Human color perception is a curious thing.