Those also sound like hypothyroid symptoms too. You should have the following tests run: TSH (should be under 2... most people feel best around 1), FT3 and FT4. You may have to fight hard to get the FT3/FT4 (do not confuse them with TT3/TT4 or T3/T4).

If yout want more info on that, I wrote up a quick and dirty FAQ: http://forum.lowcarber.org/showthread.php?t=238349