There's also Nicholson's Elementary Linear Algebra or the slightly more advanced Linear Algebra: With Applications. If you're students react negatively to the intro of abstract vector spaces, I don't think Hoffman and Kunze's book would be good for them. While I love that book myself it might be a little too daunting for your class. Also I think that if you want to introduce abstract vector spaces from the start there's no reason you can't cover the chapter on abstract vector spaces first.