(I decided to repost this from MathSE, since the question seems to not be as easy as I had thought)

NB: In this question, local compactness is used in its weak form, i.e. in a locally compact space, every point has a compact neighbourhood. Also, T_{3} is the weaker condition of the pair T_{3}/regular.

Let $p:\tilde{X}\to X$ be a covering map. Since $p$ is a local homeomorphism, $\tilde{X}$ and $X$ share the "standard" local properties: local (path) connectedness, T_{1}, etc.

The black sheep of the family of local properties is local compactness. Of course, a suitable separation axiom (T_{2} for instance) makes it into a proper local property with suitable local bases and everything. Therefore, if $X$ is locally compact Hausdorff, so is $\tilde{X}$. Interestingly, if $X$ is locally compact and T_{3}, then $\tilde{X}$ is again locally compact.

My question is, how can this fail. More precisely, given a locally compact space $X$, does there exist a non-locally compact cover $\tilde{X}$ of $X$?

I strongly believe this to be true, because the compact neighbourhoods in $X$ might be too big to be seen by the covering map, but I haven't been able to find an example. I've been trying to construct a cover of the one-point compactification of the rationals, this being the nastiest space with the required properties I could think of. I've come up with this: pick a proper neighbourhood $U$ of $\infty$ in $\mathbb{Q}^+$. Then take as a cover the space $\mathbb{Q}^+\times\{1/n;n\in\mathbb{N}\}\cup U\times\{0\}$ with the obvious projection. I think I've managed to prove this is a covering map and it looks to be not locally compact at the 0-th level, but that could just be my intuition being dead wrong.

I'd be interested in any thoughts on this. Also, somewhat less importantly, does local compactness descend from the covering space? Under what conditions do $X$ and $\tilde{X}$ share local compactness (can we in some way force the covering map to be proper, open, etc.)?