Teachers here please advise: I understand you can take him/her out for a short while whilst you investigate with council what options you have. Some schools just are not helpful or wise. But pulling him out may lead you having to homeschool him for years, given the current lack of resources. My cousin has recently done that with her 12 year old, he has an ECHP but the bullying is painful (He gets lego therapy but no SNA). The big question is what differential treatment does an EHCP lead to? Is it the current teacher, school approach, context, or particular peers that is not suited to his needs?
Teachers matter. My son had some years when literally his autism 'vanished" because a very calm, intuitive, clear teacher with predictable instructions was so good for him, or one that used music to transition from one task to the next, and gave him special tasks to do which he loved.
Check Peer influence: At age 13, an observant dinner lady noticed he was spending three times as much as usual. We worked out it was to feed a gang of 3 who pressured him - one had already stolen from local shops. I approached the police in anticipation and they agreed with his vulnerability and secretly had the negatively influential boy removed from his class.
I'm so sorry for the pain this causes you all as a family, having spent many hours often overnight writing cases for our son. At 7 years old, he was suspended for 'refusing to follow the teacher's instructions as it was a safety hazard' & refused to get him assessed as he was 'too bright, just naughty'. This was because he: curled up in ball with his hands on his ears; was bullied by peers, but never violent, & excluded from parties; found transitions, changes & group work painful. So we moved him to a new school, with a great SENCO. I cut and pasted the previous school comments to form the perfect ASD definition - which got approved in 6 weeks - resulting in SNA help 21 hours a week. Our son eventually got a 2:1 psychology degree and is now loving being an SNA himself in a special school. But I often hear things are not any better, if not worse. This is why I'm trying to help campaigns to get more AuDHD help in schools - but no idea how! (JadersMagic and Matthew Lock Adhd charity).