I'm new to owning a Betta, inheriting him from my aunt. His tailfin's been badly damaged, and from the research I've done, this seems to be the result of tailbiting. And I have to guess that this is because he's been bored in his 3.5 gallon tank. So I splurged and got him a 10-gallon decked out...