For what it's worth (and probably not a ton, since it sounds like you're doing this for fun) a decent LED grow light is wonderful for this.

I use a 200w vivosun pointed at the wall during the short daylight months.

Costs a fraction of what you mentioned at roughly $150. Or $300 if you really want to go as high as 400w.

Makes the whole room feel like you've got bright sunlight pouring in.

My wife made fun of me at first, but now also has one for her office.